(0 18 15)(1 19 6)(2 14 4)(3 20 17)(5 9 8)(7 12 10)(11 16 13)
ALLOWS (11/8)-SEQUENCE
1: (3 17 20)
(0 18 15)(1 19 6)(2 14 4)(3 17 20)(5 9 8)(7 12 10)(11 16 13)
2: (1 19 6)
(0 18 15)(1)(2 14 4)(3 17 20)(5 9 8)(6)(7 12 10)(11 16 13)(19)
3: (3 17 20)
(0 18 15)(1)(2 14 4)(3)(5 9 8)(6)(7 12 10)(11 16 13)(17)(19)(20)
4: (2 14 4)
(0 18 15)(1)(2)(3)(4)(5 9 8)(6)(7 12 10)(11 16 13)(14)(17)(19)(20)